A Systematic Method for the Intentional Modelling and Verification of Business Applications

Recently, we have witnessed a growing need to involve business people in the early stages of Enterprise Information Systems development. The MAP methodology appears to be a good candidate for involving business people in the early modelling of business applications, reducing the risk of business-IT systems misalignment. Furthermore, in the context of Model Driven Engineering, such a methodology perfectly fits in the upper CIM level. In this paper we revisit the MAP to propose a formal approach capable of providing solid basis to it, necessary when developing automatic tools aimed at supporting the modelling activity and the verification of the produced map diagrams.